Mobile Application for Remote Monitoring of Physical Quantity using SMS, MMS, or GRPS Communication

Import 04/07/2011Tato práce spočívá ve vyvinutí aplikace pro mobilní telefony, která pomocí zobrazených hodnot na dotykovém displeji jednoduše zobrazí aktuální stav na vzdáleném zařízení. Zvýšení komfortu je dosaženo vizualizací aplikace pomocí vytvořených komponent. Zpracováním snadno pochopitelné a ovladatelné aplikace, jež je aktuálně navržena pro GSM komunikátor GD-06 Allegro, je usnadněné ovládání vzdáleného zařízení. Druhá část práce se zaměřuje na přesně opačně fungující aplikaci, která je v přenosném zařízení PDA. Aplikace simuluje GSM komunikátor a chová se jako vzdálené zařízení. Obě dvě aplikace jsou navrženy a konstruovány pro platformu .NET Compact Framework.This work is in developing applications for mobile phones that use the values displayed on the touch screen simply displays the current status of the remote device. Increased comfort is achieved by visualization applicationsby using components created . Processing and easy-to-use application that is currently designed for GSM communicator GD-06 Allegro, is facilitated by a remote control device. The second part is exactly the opposite functional application that is portable PDA. The application simulates a GSM communicator, and acts as a remote device. Both applications are designed and constructed for the platform. NET Compact Framework.450 - Katedra měřicí a řídicí technikyvýborn

Trading Performance for Stability in Markov Decision Processes

We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability. We argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on each run deviate from the run's own mean-payoff and from the expected mean-payoff, respectively. We show that a strategy ensuring both the expected mean-payoff and the variance below given bounds requires randomization and memory, under all the above semantics of variance. We then look at the problem of determining whether there is a such a strategy. For the global variance, we show that the problem is in PSPACE, and that the answer can be approximated in pseudo-polynomial time. For the hybrid variance, the analogous decision problem is in NP, and a polynomial-time approximating algorithm also exists. For local variance, we show that the decision problem is in NP. Since the overall performance can be traded for stability (and vice versa), we also present algorithms for approximating the associated Pareto curve in all the three cases. Finally, we study a special case of the decision problems, where we require a given expected mean-payoff together with zero variance. Here we show that the problems can be all solved in polynomial time.Comment: Extended version of a paper presented at LICS 201

Deciding Polynomial Termination Complexity for VASS Programs

We show that for every fixed degree k ≥ 3, the problem whether the termination/counter complexity of a given demonic VASS is O(n^k), Ω(n^k), and Θ(n^k) is coNP-complete, NP-complete, and DP-complete, respectively. We also classify the complexity of these problems for k ≤ 2. This shows that the polynomial-time algorithm designed for strongly connected demonic VASS in previous works cannot be extended to the general case. Then, we prove that the same problems for VASS games are PSPACE-complete. Again, we classify the complexity also for k ≤ 2. Tractable subclasses of demonic VASS and VASS games are obtained by bounding certain structural parameters, which opens the way to applications in program analysis despite the presented lower complexity bounds

Acoustic Signal Processing and Analysis for Robotic System

Import 05/08/2014Tato práce spočívá ve vyvinutí programu, který je vložen do procesoru od společnosti Freescale. Úkolem programu je zajistit komunikaci mezi člověkem a robotickým zařízením. Pomocí grafického programu, implementovaného do počítače, jsou zobrazovány jednotlivé odezvy po analýze probíhající v mikroprocesoru, nebo také v samotném programu. Analyzováním a zpracováním zvukového signálu je zařízení schopno rozpoznat různé vstupní požadavky a reagovat na ně, způsobem zobrazení dat na displeji nebo pomocí pulzně šířkové modulace na připojený reproduktor.This work is to develop a program that is implemented in processors from Freescale. The task of the program is to ensure communication between human and robotic equipment. Use a graphics program implemented in the computer are displayed after each response analysis taking place in a microprocessor or also in the program itself. By analyzing and processing the audio signal, the device can detect different input requirements and respond to them accordingly display data on the screen or by using pulse width modulation to the connected speaker.450 - Katedra kybernetiky a biomedicínského inženýrstvívelmi dobř